WALI NIKAH DALAM KITAB FATH AL-QADÎR KARYA IBNU HIMMAM (Tinjauan Deskriptif Analitis Tematis)

Introduction of Kitab Al-Abnija al haqaiq al-Adwiya a book written by Heravi

The "Kitab al-abniya an haqa iq al-adwiya" (Book of the Foundations of Pharmacognosy) also Known as "Rozat ol-ons wa manfa 'ar on-nafs" is the most ancient medical book in Persian (Farsi), which was written by Abu Mansur Movaffaq ibn Ali Heravi during the period of Mansur ibn Noh Samani between the years 350 to 366 lunar hegira. The book deals with 584 mineral, herbal and animal-based drugs. Th...

Introduction of Kitab Al-Abnija al haqaiq al-Adwiya a book written by Heravi

The "Kitab al-abniya an haqa iq al-adwiya" (Book of the Foundations of Pharmacognosy) also Known as "Rozat ol-ons wa manfa 'ar on-nafs" is the most ancient medical book in Persian (Farsi), which was written by Abu Mansur Movaffaq ibn Ali Heravi during the period of Mansur ibn Noh Samani between the years 350 to 366 lunar hegira. The book deals with 584 mineral, herbal and animal-based drugs. Th...

The \"Kitab al-Shukuk\'alas Jalinus\" of Muhammad ibn Zachariya al-Razi

WALi: Nested-Word Automata

WALi-NWA is a C++ library for constructing, querying, and operating on nested-word automata. It is a portion of the WALi library, which provides types and operations for weighted automata. While the NWA portions of WALi are mostly logically separate from the rest of WALi, it does use facilities provided by WALi and inter-operates with WALi’s weighted pushdown system (WPDS) code.

The \"Kitab al-Shukuk\'alas Jalinus\" of Muhammad ibn Zachariya al- Razi